Design > Well-formedness > Data


ERROR DWF_D_01 - Union qualifier integrity
This rule ensures that every union property of an union (except discriminant and default property) has at least one qualifier.


ERROR DWF_D_02 - Union qualifier cardinality
This rule checks that a data value used as a qualifier for a union property cannot be used as a qualifier of another union property of the same union.


WARNING DWF_D_03 - Discriminant Union Property Qualifier
This rule ensures that the discriminant of an union do not have any qualifier.


ERROR DWF_D_04 - Composition Cardinality Rule
This rule checks that the cardinality of a source Class is 0..1 or 1..1 for an Association of Composition kind.


WARNING DWF_D_05 - Association Ends IsPrimitive check
This rule checks that the Association Ends are not primitive


WARNING DWF_D_06 - Property isPrimitive type check
This rule checks that the properties are of primitive type if there is no bound to an Association. This rule does nothing if a parent of a property is primitive.


ERROR DWF_D_08 - Union Discriminant
This rule ensures that Union has a discriminant.


WARNING DWF_D_10 - Aggregation/Composition navigability check
This rule checks that an Aggregation/Composition is navigable.


WARNING DWF_D_11 - Association member AggregationKind check
This rule checks that an Association contains at least one member with AggregationKind=ASSOCIATION.


WARNING DWF_D_12 - Property type check
This rule checks that the property is typed.


ERROR DWF_D_13 - Consistency of Qualifier values
This rule ensures that the values used as qualifiers of Union Properties are consistent with the Discriminant of the Union.


WARNING DWF_D_14 - Association members check
This test checks that an Association has at least two members.


ERROR DWF_D_15 - Class self generalization
This rule checks that a Class cannot generalize itself.


ERROR DWF_D_16 - Class cycles check (inner package)
This rule checks whether some cycles between classes (through association or generalization) exist.


ERROR DWF_D_17 - Union Discriminant Data Value
This rule ensures that a data value of the discriminant type shall be used at least once as a qualifier for the union property(which is not the discriminant).


WARNING DWF_D_18 - Collection type check
This rule checks that a collection is typed.


WARNING DWF_D_19 - Class Multiple Inheritance
This rule checks that a Class (or a Component) cannot inherit from multiple classes (resp. Components) if the dedicated configuration option does not allow it.


WARNING DWF_D_21 - DataType Pattern Validation
This rule checks that the pattern of a data type is a Regular expression.


ERROR DWF_D_22 - Boolean Type Incorrect literals values
This rule ensures that a BooleanType can not have literals with same values.


WARNING DWF_D_23 - NumericValue Unit Consistency
This rule ensures that a NumericValue can not have an unit value different from the unit value of its type Length PhysicalQuantity.


WARNING DWF_D_24 - DataValue Pattern Validation
This rule checks that the value of the DataValue(LiteralNumericValue or LiteralStringValue) matches with the data type Regular expression.

1) value of dataValue must be set. 2) if dataValue typed, pattern should not be null.


ERROR DWF_D_25 - Dependency Cycle Detection
This rule detects Cycle of Dependencies between packages.


WARNING DWF_D_26 - LiteralBooleanValuel Type
This rule ensures that LiteralBooleanValue is typed by its parent BooleanType.


WARNING DWF_D_28 - DataValue Reference check
This rule ensures that DataValue Reference referenced value is named.


WARNING DWF_D_29 - Association members AggregationKind check 2
This rule ensures that an Association should not contains member with AggregationKind=UNSET.


WARNING DWF_D_30 - Boolean Value Family Type check
This rule ensures that LiteralBooleanValue and BooleanReference are Typed.


WARNING DWF_D_32 - Collection Value Family Type check
This rule ensures that CollectionValueReference is Typed.


WARNING DWF_D_33 - String Value Family Type check
This rule ensures that LiteralStringValue and StringReference are Typed.


WARNING DWF_D_34 - Complex Value Family Type check
This rule ensures that ComplexValue and ComplexValueReference are Typed.


WARNING DWF_D_35 - Enumeration Value Family Type check
This rule enforces that EnumerationReference elements are Typed.


WARNING DWF_D_36 - Numeric Value Family Type check
This rule ensures that LiteralNumericValue and NumericReference are Typed.


WARNING DWF_D_37 - Expression Value Family Type check
This rule ensures that BinaryExpression and UnaryExpression are Typed.


ERROR DWF_D_38 - Association Target Class Property key value check
This rule checks that an Association Property of kind ASSOCIATION can only exist, if and only if the target class has or inherits at least one property being a part of key.


ERROR DWF_D_39 - Data Value Name Check
This rule ensures that a data value defined directly in its name space (class, datatype, package) have a name.


WARNING DWF_D_40 - Association Consistency between layers
This rule ensures that an Association from given layer should not associate with elements of lower Architecture layer.

Example: If an Association is on SystemArchitecture layer. It should not associate with any elements from Logical or Physical Layer.


ERROR DWF_D_41 - Class with an abstract attribute/role
This rule chekcs if a class has an abstract attribute or a abstract role of an association on the navigable side, the class shall be abstract.


ERROR DWF_D_42 - Packages visibility problem
This rule detects that it is impossible to create an association from Class1 to Class2 if Class2 is in package0, and Class1 in packag1 within package0.


ERROR DWF_D_43 - Exchange Item Element Parameter Direction consistency
- for an Exchange Item with anything but an Operation Exchange Mechanism, the inner Exchange Item Element shall NOT have a parameter direction set 
 and 
- in case of an Exchange Item Operation Exchange Mechanism, all inner Exchanges Items Elements shall have a parameter direction set


WARNING DWF_D_44 - Enumeration Literals Domain Values Constraints
This rule ensures that enumeration literals domain values are typed according to the type of their container enumeration domain type.


ERROR DWF_D_45 - Class Association End Constraints
This rule checks that class relationships (e.g. association) between classes has valid source and target


WARNING DWF_D_46 - Association Container Check
This rule ensures that an Association is in its correct container:

- Unidirectional associations are stored in their source class containers - Bidirectional and nondirectional association are stored in common ancestor of their source and target classes.


WARNING DWF_D_47 - Final Inheritance
This rule ensures that superTypes are not Final.


ERROR DWF_D_48 - Dangling LinkedText hyperlinks in OpaqueExpressions
Verifies that all LinkedText hyperlinks in an OpaqueExpression can be resolved


ERROR DWF_D_49 - Key Parts Cardinality Rule
In a class, when a property or an association role is part of key, value of maximum cardinality must be equal to one.


ERROR DWF_D_50 - Max Cardinality Is A Natural
In class property, association role and exchange item element, maximum cardinality value is defined and, unless abstract, evals to a value in [1, *[


ERROR DWF_D_51 - Min Cardinality Is A Natural Or Zero
In class property, association role and exchange item element minimum cardinality value is defined and, unless abstract, evals to a natural or zero (i.e. integer belonging to [0, *[)


ERROR DWF_D_52 - Type Of Default And Null Value For Property
For a property, type of the default (resp. null) value shall be Undefined (implicit typing) or the property’s datatype or a super type of the property’s datatype


ERROR DWF_D_53 - Property Or Role Overriding Is Not Allowed
A property/role in a class shall not have the same name as a property/role of a super-class


ERROR DWF_D_54 - Property Or Role Respects Covariance
If class K inherits class C, if property or association role is owned by C with type/class A and redefined in K with type/class B, then B inherits (or is equal to) A.


ERROR DWF_D_55 [Live] - Validate Data Pkg Dependency Cycle
This rule detects Cycle of Dependencies between Data packages.


WARNING DWF_D_56 - EnumerationLiteral Type check
This rule enforces that EnumerationLiteral elements are typed by their parent.


ERROR DWF_D_57 - DataValue Containing Feature
This rule checks that the EnumerationLiteral and the LiteralBooleanValue are aggregated in the ownedLiterals feature of the Enumeration or the BooleanType and not in the ownedDataValues feature.


WARNING DWF_D_58 - Constraint Assignment
In monopart mode, this rule ensures that ConstrainedElements value is not Part/PartDeploymentLink. Exception for EAB diagrams.


WARNING DWF_D_59 - Constraint Location
In monopart mode : This rule ensures that a constraint is not stored under and doesn't have ConstrainedElements values as a Part/PartDeploymentLink.

Exception : In EPBS Layer constraint's can be stored under Part

In multipart mode : This rule ensures that a constraint is not stored under PartDeploymentlink. Exception : If first ConstraintElements value is container PartDeploymentlink or empty ConstraintElements value